Basic.1-M
val id : string
include Intf.Higher_order_creatable_intf
include Intf.Creatable_intf
type t
type 'a creator
val create : t creator
val map_creator : 'a creator -> f:( 'a -> 'b ) -> 'b creator