sig type t val create : unit -> Type_generic.Named.Context.t end