Module type Optional_syntax.S2

type ('a, 'b) t
type ('a, 'b) value
module Optional_syntax : sig ... end