Module Engine.Gpc

type t = {
  1. pfs : Symbolic.Pure_context.t;
  2. gamma : Symbolic.Type_env.t;
  3. matching : bool;
}
val make : matching:bool -> pfs:Symbolic.Pure_context.t -> gamma:Symbolic.Type_env.t -> unit -> t
val copy : t -> t