Module Concrete.FunctionType

See TaglessFinal.FunctionType.

type t = {
argtypes : Expression.t list;
returns : Expression.t;
}
include Ppx_sexp_conv_lib.Sexpable.S with type FunctionType.t := t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
val compare : t -> t -> int
val hash_fold_t : Ppx_hash_lib.Std.Hash.state -> t -> Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val make_t : ?⁠argtypes:Expression.t list -> returns:Expression.t -> unit -> t