Module E.Ty

type t = ty
module Var : sig ... end
module Const : sig ... end