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