Module type Optional_syntax.S

type t
type value
module Optional_syntax : sig ... end