Module Djot_kernel.BinNat

type __ = Stdlib.Obj.t
module N : sig ... end