Module Cil_datatype.Predicate_named

module Predicate_named: S  with type t = predicate named