Module type Optional_syntax.S1

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