Module Cil_datatype.Predicate

module Predicate: S_with_pretty  with type t = predicate

include S