Module Domain_sig.Convert_Integer_Forward

Parameters

module D : With_Integer_Forward with module Context = C.To

Signature

module C : sig ... end
module F : sig ... end
include sig ... end
type integer = F.integer
type boolean = F.boolean
val itimes : Z.t -> (integer, integer) C.To_Arity.ar1
val iconst : Z.t -> integer C.To_Arity.ar0