ocaml-base-compiler

Official release 4.07.1
IN THIS PACKAGE
type effects =
| No_effects
| Only_generative_effects
| Arbitrary_effects
type coeffects =
| No_coeffects
| Has_coeffects
val for_primitive : Lambda.primitive -> effects * coeffects

Describe the semantics of a primitive. This does not take into account of the (non-)(co)effectfulness of the arguments in a primitive application. To determine whether such an application is (co)effectful, the arguments must also be analysed.

type return_type =
| Float
| Other
val return_type_of_primitive : Lambda.primitive -> return_type