package gobba

  1. Overview
  2. Docs
val level_purity : Types.puret -> Types.puret -> Types.puret

"level out" the purity of two values

Infer the purity of an expression. Note: this is a naive approach. This function is an abstract interpretation of expressions over primitives and environments.

  • parameter e

    The expression to infer

  • parameter state

    The current computation state

val infer_assignment : Types.evalstate -> (bool * Types.ide * Types.expr) -> Types.evalstate
val infer_assignment_list : Types.assignment_type list -> Types.evalstate -> Types.evalstate
val infer_command_list : Types.command list -> Types.evalstate -> Types.evalstate
OCaml

Innovation. Community. Security.