Module Type.TypeGuard

type ('M, 'T) t = 'M * ('M, 'T) t'
and ('M, 'T) t' = {
  1. asserts : bool;
  2. guard : ('M, 'M) Identifier.t * ('M, 'T) t option;
  3. comments : ('M, 'M Comment.t list) Syntax.t option;
}