Module Generic_core_ty_desc

module Generic_core_ty_desc: sig .. end

Generic view for the type Generic_core_ty.ty.

The extensible type Generic_core_ty.ty, reflects types terms as values. We may write generic programs over ty by using the generic view computed by Generic_core_ty_desc.ext: it is a value of type Generic_core_desc.Ext.t which describes the constructors of ty.

val ext : 'a Ty.T.ty -> 'a Ty.T.ty Desc.Ext.t

Generic view for Generic_core_ty.ty: low level description of the type ty itself.

val conap : 'a Ty.T.ty ->
       'a Ty.T.ty Desc.Con.conap

Constructor application: the pair of a constructor and its list of arguments.
Raises Not_found if the constructor hasn't been added previously.

val con : 'a Ty.T.ty -> 'a Ty.T.ty Desc.Con.t

con x is the constructor of x.
Raises Not_found if the constructor hasn't been added previously.

val subterms : 'a Ty.T.ty -> Ty.dyn list

Arguments of the constructor.
Raises Not_found if the constructor hasn't been added previously.