module Predicate: S_with_pretty with type t = predicate
S_with_pretty
with type t = predicate
include S