Module Type.Conditional

type ('M, 'T) t = {
  1. check_type : ('M, 'T) Type.t;
  2. extends_type : ('M, 'T) Type.t;
  3. true_type : ('M, 'T) Type.t;
  4. false_type : ('M, 'T) Type.t;
  5. comments : ('M, unit) Syntax.t option;
}