DolmenIntf.Func
val make : string -> ty list -> ty -> func_decl
val apply : func_decl -> term list -> term