Documentation

d_Error_2 :: () #

data T_Error_2 #

d_mRelationOf_12 :: T_SimplifierTag_4 -> Maybe (T__'8866'_14 -> T__'8866'_14 -> ()) #

d_RelationOf_14 :: T_SimplifierTag_4 -> T__'8866'_14 -> T__'8866'_14 -> () #

d_hasRelation_16 :: T_SimplifierTag_4 -> Bool #

d_certifyPass_24 :: T_SimplifierTag_4 -> T_Hints_52 -> T__'8866'_14 -> T__'8866'_14 -> T_CertResult_12 #

d_Certificate_32 :: T_Trace_60 -> () #

d_certify_44 :: T_Trace_60 -> T_Either_6 T_Error_2 AgdaAny #

d_cert_94 :: T_Trace_60 -> T_Either_6 T_Error_2 AgdaAny -> AgdaAny -> AgdaAny #

du_cert_94 :: T_Either_6 T_Error_2 AgdaAny -> AgdaAny -> AgdaAny #

d_checkScope_98 :: T_Untyped_208 -> Maybe T__'8866'_14 #

d_checkScope'7511'_100 :: T_Trace_60 -> Maybe T_Trace_60 #