Module `Cduce_lib.Patterns`

exception Error of string

type descr
type node

module Node : Custom.T with type t = node

val make : Cduce_types.Ident.fv -> node
val define : node -> descr -> unit
val constr : Cduce_types.Types.t -> descr
val cup : descr -> descr -> descr
val cap : descr -> descr -> descr
val times : node -> node -> descr
val xml : node -> node -> descr
val record : Cduce_types.Ident.label -> node -> descr
val capture : Cduce_types.Ident.id -> descr
val constant : Cduce_types.Ident.id -> Cduce_types.Types.const -> descr
val id : node -> int
val descr : node -> descr
val fv : node -> Cduce_types.Ident.fv

module Print : sig ... end

val accept : node -> Cduce_types.Types.Node.t
val filter : Cduce_types.Types.t -> node -> Cduce_types.Types.Node.t Cduce_types.Ident.id_map

module Compile : sig ... end