JCHIFSemantics (codehawk.JCHIFSemantics)

class type j_semantics_int = object ... end

class type j_opsemantics_int = object ... end

val j_nop_semantics : j_semantics_int

val j_nop_opsemantics : j_opsemantics_int

val opsemantics : 
  ?remove_dead_vars:bool ->
  CHLanguage.system_int ->
  CHLanguage.symbol_t ->
  j_opsemantics_int ->
  invariant:CHAtlas.atlas_t ->
  stable:bool ->
  fwd_direction:bool ->
  context:CHLanguage.symbol_t CHStack.stack_t ->
  operation:CHLanguage.operation_t ->
  CHAtlas.atlas_t