Module Cil_datatype.Toplevel_predicate

module Toplevel_predicate: S_with_pretty  with type t = toplevel_predicate

include S