exception Arg_pr_not_found of Decl.prsymbolexception Arg_qid_not_found of Ptree.qualidexception Arg_parse_type_error of Loc.position * string * exnval build_naming_tables : Task.task -> Trans.naming_tableval find_symbol : string -> Trans.naming_table -> symboltype (!_, !_) trans_typ = | Ttrans : (Task.task Trans.trans, Task.task) trans_typ| Ttrans_l : (Task.task Trans.tlist, Task.task list) trans_typ| Tenvtrans : (Env.env -> Task.task Trans.trans, Task.task) trans_typ| Tenvtrans_l : (Env.env -> Task.task Trans.tlist, Task.task list) trans_typ| Tstring : ('a, 'b) trans_typ -> (string -> 'a, 'b) trans_typ| Tint : ('a0, 'b0) trans_typ -> (int -> 'a0, 'b0) trans_typ| Tty : ('a1, 'b1) trans_typ -> (Ty.ty -> 'a1, 'b1) trans_typ| Ttysymbol : ('a2, 'b2) trans_typ -> (Ty.tysymbol -> 'a2, 'b2) trans_typ| Tprsymbol : ('a3, 'b3) trans_typ -> (Decl.prsymbol -> 'a3, 'b3) trans_typ| Tprlist : ('a4, 'b4) trans_typ -> (Decl.prsymbol list -> 'a4, 'b4) trans_typ| Tlsymbol : ('a5, 'b5) trans_typ -> (Term.lsymbol -> 'a5, 'b5) trans_typ| Tsymbol : ('a6, 'b6) trans_typ -> (symbol -> 'a6, 'b6) trans_typ| Tlist : ('a7, 'b7) trans_typ -> (symbol list -> 'a7, 'b7) trans_typ| Tidentlist : ('a8, 'b8) trans_typ -> (string list -> 'a8, 'b8) trans_typ| Ttermlist : ('a9, 'b9) trans_typ -> (Term.term list -> 'a9, 'b9) trans_typ| Tterm : ('a10, 'b10) trans_typ -> (Term.term -> 'a10, 'b10) trans_typ| Tformula : ('a11, 'b11) trans_typ -> (Term.term -> 'a11, 'b11) trans_typ| Ttheory : ('a12, 'b12) trans_typ -> (Theory.theory -> 'a12, 'b12) trans_typ| Topt : string
* ('a13 -> 'c, 'b13) trans_typ -> ('a13 option -> 'c, 'b13) trans_typ| Toptbool : string * ('a14, 'b14) trans_typ -> (bool -> 'a14, 'b14) trans_typval wrap_l : ('a, Task.task list) trans_typ -> 'a -> Trans.trans_with_args_lval wrap : ('a, Task.task) trans_typ -> 'a -> Trans.trans_with_argsval wrap_and_register :
desc:Pp.formatted ->
string ->
('a, 'b) trans_typ ->
'a ->
unit