Module type `Primred.RedNativeEntries`

type elem
type args
type evd

val get : args -> int -> elem
val get_int : evd -> elem -> Uint63.t
val mkInt : Environ.env -> Uint63.t -> elem
val mkBool : Environ.env -> bool -> elem
val mkCarry : Environ.env -> bool -> elem -> elem
val mkIntPair : Environ.env -> elem -> elem -> elem
val mkLt : Environ.env -> elem
val mkEq : Environ.env -> elem
val mkGt : Environ.env -> elem