Biabduction.JoinState
Object representing the status of the join operation
type mode =
| Pre
| Post
val compare_mode : mode -> mode -> int
val equal_mode : mode -> mode -> bool
val get_footprint : unit -> bool
val set_footprint : bool -> unit