Module CfgCompiler.CSource

Relocatable condition

Sourcetype t
Sourceval equal : t -> t -> bool
Sourceval create : Sigma.sigma -> Lang.F.pred -> t

Bundle an equation with the sigma sequence that created it.

Sourceval get : t -> Lang.F.pred
Sourceval reads : t -> Sigma.domain
Sourceval relocate : Sigma.sigma -> t -> t