Module M.Func

val make : string -> ty list -> ty -> func_decl

make name arg_tys ret_ty constructs a function declaration with the given name, argument types arg_tys, and return type ret_ty.

val apply : func_decl -> term list -> term

apply f args applies the function declaration f to the arguments args.