package melange

  1. Overview
  2. Docs

Module Flow_ast.Function

Sourcemodule RestParam : sig ... end
Sourcemodule Param : sig ... end
Sourcemodule ThisParam : sig ... end
Sourcemodule Params : sig ... end
Sourcemodule ReturnAnnot : sig ... end
Sourcetype effect_ =
  1. | Hook
  2. | Arbitrary
Sourceval pp_effect_ : Format.formatter -> effect_ -> unit
Sourceval show_effect_ : effect_ -> string
Sourcetype ('M, 'T) t = {
  1. id : ('M, 'T) Identifier.t option;
  2. params : ('M, 'T) Params.t;
  3. body : ('M, 'T) body;
  4. async : bool;
  5. generator : bool;
  6. effect_ : effect_;
  7. predicate : ('M, 'T) Type.Predicate.t option;
  8. return : ('M, 'T) ReturnAnnot.t;
  9. tparams : ('M, 'T) Type.TypeParams.t option;
  10. comments : ('M, unit) Syntax.t option;
  11. sig_loc : 'M;
}
Sourceand ('M, 'T) body =
  1. | BodyBlock of 'M * ('M, 'T) Statement.Block.t
  2. | BodyExpression of ('M, 'T) Expression.t
Sourceval pp : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> Format.formatter -> ('M, 'T) t -> unit
Sourceval show : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> ('M, 'T) t -> string
Sourceval pp_body : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> Format.formatter -> ('M, 'T) body -> unit
Sourceval show_body : (Format.formatter -> 'M -> unit) -> (Format.formatter -> 'T -> unit) -> ('M, 'T) body -> string