Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val get_primitive_purity : Types.primitive -> Types.puret
Get the purity of a primitive
val get_primitive_function : Types.primitive -> Types.evt array -> Types.evt
Get the actual function from a primitive type
val get_primitive_info : Types.primitive -> Types.primitiveinfo
Get the information from a primitive type
val lambda_of_primitive : Types.primitive -> Types.expr
Generate a lambda from a native primitive
val w : ('a * Types.primitive) list -> ('a * Types.evt) list
val ocaml_table : (string * Types.primitive) list
The table of primitive functions (key - name)
val table : Types.env_type
val purity_from_env : Types.env_type -> Types.purityenv_type
val purity_table : Types.purityenv_type