Module Cil_datatype.Predicate

module Predicate: S  with type t = predicate