Semantics_of_primitives
type effects =
| No_effects
| Only_generative_effects
| Arbitrary_effects
type coeffects =
| No_coeffects
| Has_coeffects
val for_primitive : Clambda_primitives.primitive -> effects * coeffects
type return_type =
| Float
| Other
val return_type_of_primitive : Clambda_primitives.primitive -> return_type