Module Object.MappedType

type optional_flag =
  1. | PlusOptional
  2. | MinusOptional
  3. | Optional
  4. | NoOptionalFlag
type ('M, 'T) t' = {
  1. key_tparam : ('M, 'T) Type.TypeParam.t;
  2. prop_type : ('M, 'T) Type.t;
  3. source_type : ('M, 'T) Type.t;
  4. variance : 'M Variance.t option;
  5. optional : optional_flag;
  6. comments : ('M, unit) Syntax.t option;
}
and ('M, 'T) t = 'M * ('M, 'T) t'