Documentation

d_Error_2 ∷ () Source #

data T_Error_2 Source #

d_tagToRelation_12 ∷ T_CertifiedOptTag_10 → T__'8866'_14 → T__'8866'_14 → () Source #

d_RelationOf_14 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 → T__'8866'_14 → T__'8866'_14 → () Source #

d_hasRelation_18 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 → Bool Source #

d_certifyPass_26 ∷ T_Either_6 T_UncertifiedOptTag_4 T_CertifiedOptTag_10 → T_Hints_76 → T__'8866'_14 → T__'8866'_14 → T_CertResult_12 Source #

d_Certificate_34 ∷ T_Trace_84 → () Source #

d_certify_46 ∷ T_Trace_84 → T_Either_6 T_Error_2 AgdaAny Source #

d_cert_96 ∷ T_Trace_84 → T_Either_6 T_Error_2 AgdaAny → AgdaAny → AgdaAny Source #

du_cert_96 ∷ T_Either_6 T_Error_2 AgdaAny → AgdaAny → AgdaAny Source #

d_checkScope_100 ∷ T_Untyped_208 → Maybe T__'8866'_14 Source #

d_checkScope'7511'_102 ∷ T_Trace_84 → Maybe T_Trace_84 Source #