95 open Hints_declaration
111 open Cminor_semantics
113 type cminor_state = Cminor_semantics.state
115 val cminor_labelled : Cminor_semantics.state -> Bool.bool
121 open StructuredTraces
123 val cminor_classify : Cminor_semantics.state -> StructuredTraces.status_class
125 type cm_genv = Cminor_semantics.genv
127 type cm_env = Cminor_semantics.env
129 type cm_cont = Cminor_semantics.cont
132 Cminor_semantics.genv -> AST.typ -> Cminor_syntax.expr ->
133 Cminor_semantics.env -> Pointers.block -> GenMem.mem -> (Events.trace,
134 Values.val0) Types.prod Errors.res
137 Cminor_syntax.internal_function -> Cminor_syntax.stmt ->
138 Cminor_semantics.env -> GenMem.mem -> Pointers.block ->
139 Cminor_semantics.cont -> Cminor_semantics.stack -> Cminor_semantics.state
142 Values.val0 Types.option -> GenMem.mem -> Cminor_semantics.stack ->
143 Cminor_semantics.state
146 AST.ident -> Cminor_syntax.internal_function AST.fundef -> Values.val0
147 List.list -> GenMem.mem -> Cminor_semantics.stack -> Cminor_semantics.state