Previous
Up
Module
Cil_datatype.Lexpr
module
Lexpr:
S
with type t = Logic_ptree.lexpr
Beware: no pretty-printer is available.