(* This file is free software, part of dolmen. See file "LICENSE" for more information *)

(** {2 Builtins} *)
(** ************************************************************************ *)

val builtins : Env.builtins
(** builtins for floating-points *)