Module Cil_datatype.Lexpr

module Lexpr: S  with type t = Logic_ptree.lexpr

Beware: no pretty-printer is available.