Module `Cduce_lib.Typepat`

val mk_delayed : unit -> node
val link : node -> node -> unit
val mk_type : Cduce_types.Types.descr -> node
val mk_or : ?⁠err:err -> node -> node -> node
val mk_and : ?⁠err:err -> node -> node -> node
val mk_diff : ?⁠err:err -> node -> node -> node
val mk_prod : node -> node -> node
val mk_xml : node -> node -> node
val mk_arrow : node -> node -> node
val mk_optional : ?⁠err:err -> node -> node
val mk_record : ?⁠err:err -> bool -> (node * node option) Cduce_types.Ident.label_map -> node
val mk_constant : Cduce_types.Ident.id -> Cduce_types.Types.const -> node
val mk_capture : Cduce_types.Ident.id -> node
val mk_concat : ?⁠err:err -> node -> node -> node
val mk_merge : ?⁠err:err -> node -> node -> node
val check_wf : node -> bool
val elim_concats : unit -> unit
val internalize : node -> unit
val peek_fv : node -> Cduce_types.Ident.id option
val typ : node -> Cduce_types.Types.descr
val typ_node : node -> Cduce_types.Types.Node.t
val pat_node : node -> Cduce_core.Patterns.node
val get_ct : node -> Cduce_types.Types.t * node