Module Statement.DeclareFunction

type ('M, 'T) t = {
  1. id : ('M, 'T) Identifier.t;
  2. annot : ('M, 'T) Type.annotation;
  3. predicate : ('M, 'T) Type.Predicate.t option;
  4. comments : ('M, unit) Syntax.t option;
}