open Prelude type t val make : string -> t option include Stringable.S with type t := t include Equal.S with type t := t include Sexpable.S with type t := t