DolmenIntf.Adt
module Cons : sig ... end
type t = DExpr.ty_def * (func_decl * (ty * func_decl option) list) list
val make : string -> Cons.t list -> t
val ty : t -> ty
val constructor : string -> t -> func_decl option
val selector : string -> t -> func_decl option
val tester : string -> t -> func_decl option