1 2 3 4 5 6
type user <ocaml from="User" t="t"> = abstract type t = { ?reason: string option; user: user; }