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