Up – Package index » lustre-v6 » Library lustre-v6 » SocExec

Module `SocExec`Source

Sourceexception AssertViolation of Lxm.t

Sourceval f : Lv6MainArgs.t -> Soc.tbl -> Soc.key -> unit

val soc_step : 
  Soc.step_method ->
  Soc.tbl ->
  Soc.t ->
  SocExecValue.ctx ->
  SocExecValue.ctx