Quantumlib.Symbolic
Symbolic computations. This module implements symbolic computations for complex-valued expressions. It is used by the symbolic simulator Se.
Se
module Symbol : sig ... end
Generation of unique symbols
module Expr : sig ... end
Manipulation of symbolic expressions.