Documentation

d_Error_2 ∷ () Source #

data T_Error_2 Source #

d_mRelationOf_12 ∷ T_SimplifierTag_4 → Maybe (T__'8866'_14 → T__'8866'_14 → ()) Source #

d_RelationOf_14 ∷ T_SimplifierTag_4 → T__'8866'_14 → T__'8866'_14 → () Source #

d_hasRelation_16 ∷ T_SimplifierTag_4 → Bool Source #

d_certifyPass_24 ∷ T_SimplifierTag_4 → T_Hints_54 → T__'8866'_14 → T__'8866'_14 → T_CertResult_12 Source #

d_Certificate_32 ∷ T_Trace_62 → () Source #

d_certify_44 ∷ T_Trace_62 → T_Either_6 T_Error_2 AgdaAny Source #

d_cert_94 ∷ T_Trace_62 → T_Either_6 T_Error_2 AgdaAny → AgdaAny → AgdaAny Source #

du_cert_94 ∷ T_Either_6 T_Error_2 AgdaAny → AgdaAny → AgdaAny Source #

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

d_checkScope'7511'_100 ∷ T_Trace_62 → Maybe T_Trace_62 Source #