module Symbol:sig..end
val get_typ : ('a, 'b) ZZ3_sigs.S.symbol -> ('a, 'b) ZZ3_sigs.S.typ
val declare : ('a, 'b) ZZ3_sigs.S.typ -> string -> ('a, 'b) ZZ3_sigs.S.symbol
val term : ('a, 'b) ZZ3_sigs.S.typ -> 'b ZZ3_sigs.S.term -> ('a, 'b) ZZ3_sigs.S.symbol
val trustme : ('a, 'b) ZZ3_sigs.S.typ -> Z3.Expr.expr -> ('a, 'b) ZZ3_sigs.S.symbol