Concrete.FunctionType
See TaglessFinal.FunctionType.
TaglessFinal.FunctionType
type t = {
argtypes : Expression.t list;
returns : Expression.t;
}
include Sexplib0.Sexpable.S with type t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
include Ppx_compare_lib.Comparable.S with type t := t
val compare : t Base__Ppx_compare_lib.compare
include Ppx_hash_lib.Hashable.S with type t := t
val hash_fold_t : t Base__Ppx_hash_lib.hash_fold
val hash : t -> Base__Ppx_hash_lib.Std.Hash.hash_value
val make_t : ?argtypes:Expression.t list -> returns:Expression.t -> unit -> t