Module Cgil_lib.External

module M (Val : Gillian.General.Val.S) (ESubst : Gillian.General.ESubst.S with type vt = Val.t and type t = Val.et) (Store : Gillian.General.Store.S with type vt = Val.t) (State : Gillian.General.State.S with type vt = Val.t and type st = ESubst.t and type store_t = Store.t) (Call_stack : Gillian.General.Call_stack.S with type vt = Val.t and type store_t = Store.t) : sig ... end

JSIL external procedure calls