idris-0.12.2: Functional Programming Language with Dependent Types
Idris.Core.Constraints
Description
Synopsis
ucheck :: Set ConstraintFC -> TC () Source #
Check that a list of universe constraints can be satisfied.