module Toplevel_predicate: S_with_pretty with type t = toplevel_predicate
S_with_pretty
with type t = toplevel_predicate
include S