Module type Domain_sig.With_Integer_Forward

type boolean
type integer
module Context : Context