Module Monadic.Branch

type 'a t = {
  1. pc : Pc.t;
  2. value : 'a;
}
val make : pc:Pc.t -> value:'a -> 'a t
val value : 'a t -> 'a
val pc : 'a t -> Pc.t
val learned : 'a t -> Gil_syntax.Formula.Set.t
val learned_types : 'a t -> (string * Gillian.Gil_syntax.Type.t) list
val pp : 'a Fmt.t -> 'a t Fmt.t