sig
  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
end