Module Type_base.R

type 'a meth = {
  1. name : string;
  2. optional : bool;
  3. scheme : 'a var list * 'a t;
  4. json_name : string option;
}
and 'a t = [
  1. | `Constr of string * (variance * 'a t) list
  2. | `List of 'a t * [ `Object | `Tuple ]
  3. | `Tuple of 'a t list
  4. | `Nullable of 'a t
  5. | `Meth of 'a meth * 'a t
  6. | `Arrow of 'a t argument list * 'a t
  7. | `Getter of 'a t
  8. | `EVar of 'a var
  9. | `UVar of 'a var
  10. | `Ellipsis
  11. | `Range_Ellipsis
  12. | `Debug of string * 'a t * string
]
and 'a var = string * 'a Type_constraints.t