Module Generic_core.Ty_desc

module Ty_desc: Generic_core_ty_desc

Generic view for the type witnesses.

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.