Source

ocamlspot / tests / types_in_type_def.ml

type (* t => *) t (* <= t *) = Foo 

type r = {
  foo : t (* ? t *)
}

module M = struct
  type r' = {
    foo : Type_def.t (* ? t *)
  }
end