Type_system.SIG_ACCESSval unfold_type_definition : int -> t -> Logic.Lambda.Lambda.stypeunfold_type_definition id t returns the actual type for the type defined by id as the identifier of a type definition in the signature t. Fails with "Bug" if id does not correspond to a type definition
val expand_type : Logic.Lambda.Lambda.stype -> t -> Logic.Lambda.Lambda.stypeval find_term :
string ->
t ->
(Logic.Lambda.Lambda.term * Logic.Lambda.Lambda.stype) optionval pp_type : t -> Stdlib.Format.formatter -> Logic.Lambda.Lambda.stype -> unitval pp_term : t -> Stdlib.Format.formatter -> Logic.Lambda.Lambda.term -> unit