module primitives where

open import primitives.characters public
open import primitives.floats public
open import primitives.machine-integers public
open import primitives.strings public