type t
val create : let_rec_ident:Ident.t option -> closure_bound_var:Variable.t -> kind:Lambda.function_kind -> params:Ident.t list -> body:Lambda.lambda -> attr:Lambda.function_attribute -> loc:Location.t -> tval let_rec_ident : t -> Ident.tval closure_bound_var : t -> Variable.tval kind : t -> Lambda.function_kindval params : t -> Ident.t listval body : t -> Lambda.lambdaval inline : t -> Lambda.inline_attributeval specialise : t -> Lambda.specialise_attributeval is_a_functor : t -> boolval stub : t -> boolval loc : t -> Location.tval free_idents : t -> Ident.Set.t