Module Cil_datatype.Lexpr

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