Module signature MakeImpl::Impl::MkStage::StageParam

An approximation of Content that corresponds to the precision level of Ap, such that the mappings from both Ap and Content to this type are functional.