Module type Optional_syntax_intf.S2

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