module ImprHIT.SetTruncated where

import ImprHIT.SetTruncated.LawfulSetAlgebra
import ImprHIT.SetTruncated.Limits
import ImprHIT.SetTruncated.Initial
import ImprHIT.SetTruncated.Rules