Module ZZ3_sigs.S.Model

module Model: sig .. end

val get_value : model:Z3.Model.model -> ('a, 'b) ZZ3_sigs.S.symbol -> 'a