Spoc_framework_registrymodule Fp_exactness : sig ... endBackends whose generated kernels cannot be assumed to round every operation as written (docs/fp-contraction-policy.md, section 14).
module Framework_cache : sig ... endmodule Framework_error : sig ... endmodule Framework_registry : sig ... endmodule Intrinsic_registry : sig ... end