module Product: sig end
Operation on function symbols of the
product theory
Th.p.
mk_cons, mk_car, and mk_cdr are the function symbols
representing Cons, Car, Cdr, respectively.get f returns the function symbol in Th.p represented by f,
or raises Not_found. - The tests
is_cons f, is_car f, is_cdr f succeed iff f
represents Cons, Car, or Cdr, respectively.
pp p fmt (op, al) pretty-prints the appliation of op to the list
of arguments al depending on the value of Pretty.flag. See also
Pretty.apply. It assumes a unary application to Car and Cdr and
a binary application to Cons.
val mk_cons : Sym.t
val mk_car : Sym.t
val mk_cdr : Sym.t
val get : Sym.t -> Sym.product
val is_cons : Sym.t -> bool
val is_car : Sym.t -> bool
val is_cdr : Sym.t -> bool
val pp : 'a Pretty.printer -> (Sym.product * 'a list) Pretty.printer