module Lexpr: S_with_pretty with type t = Logic_ptree.lexpr
S_with_pretty
with type t = Logic_ptree.lexpr
include S