dzen-dhall-1.0.0: dhall/types/Check.dhall

let Assertion = ./Assertion.dhall

let Check : Type = { message : Text, assertion : Assertion }

in  Check