Previous
Up
Next
Module
Cil_datatype.Predicate_named
module
Predicate_named:
S
with type t = predicate named