val pp_error_desc :
Ppx_deriving_runtime.Format.formatter ->
error_desc ->
Ppx_deriving_runtime.unitval show_error_desc : error_desc -> Ppx_deriving_runtime.stringval emit_error : error_desc -> 'aval storage_lident : Model.lidentval storage_var : Model.mtermval operations_lident : Model.lidentval operations_type : Model.type_val operations_var : Model.mtermval operations_init : Model.mtermval operations_storage_type : Model.type_val operations_storage_var : Model.mtermval simplify : Model.lident Model.mterm_gen -> Model.lident Model.mterm_genval is_fail : Model.mterm -> Model.mterm option -> booltype ctx_red = {local_fun_types : (Ident.ident * Model.type_) list;vars : (Ident.ident * Model.type_) list;target : Model.mterm option;}val compute_side_effect_aux :
ctx_red ->
(Ident.ident * Model.type_) list ->
Model.lident Model.mterm_gen ->
(Ident.ident * Model.type_) listval compute_side_effect :
ctx_red ->
Model.mterm ->
(Ident.ident * Model.type_) listval compute_side_effect_for_list :
ctx_red ->
Model.mterm list ->
(Ident.ident * Model.type_) listval process_non_empty_list_term :
ctx_red ->
s_red ->
Model.mterm list ->
Model.mterm * s_redval process_mtern :
ctx_red ->
s_red ->
Model.lident Model.mterm_gen ->
Model.lident Model.mterm_gen * s_redval process_body : ctx_red -> Model.mterm -> Model.mtermval analyse_type : Model.mterm -> Model.type_val process_functions : Model.model -> Model.modelval reduce : Model.model -> Model.model