Module Statement.DeclareFunction

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