Stateless.CombinerToStatelessSourcemodule T : STATELESS_COMBINER*****************
val id : unit Core.All.idIdentifier of the domain
val checks : Core.All.check listList of checks performed by the domain
val init :
Core.All.program ->
('a, unit) Core.All.man ->
'a Core.All.flow ->
'a Core.All.post option**********************
Initialization routine
val exec :
Core.All.stmt ->
('a, unit) Core.All.man ->
'a Core.All.flow ->
'a Core.All.post optionComputation of post-conditions
val eval :
Core.All.expr ->
('a, unit) Core.All.man ->
'a Core.All.flow ->
'a Core.All.eval optionEvaluation of expressions
val ask :
('a, 'r) Core.All.query ->
('a, unit) Core.All.man ->
'a Core.All.flow ->
('a, 'r) Core.All.cases optionHandler of queries
************
val print_expr :
('a, unit) Core.All.man ->
'a Core.All.flow ->
Core.All.printer ->
Core.All.expr ->
unitPrinter of an expression's value