Module type Optional_syntax_intf.S1

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