Standalone.Context
type t
val t_of_sexp : Sexplib0__.Sexp.t -> t
val sexp_of_t : t -> Sexplib0__.Sexp.t
type var
val typ : ( var, t ) Snark_params.Tick.Typ.t