Rec.Base.ARS

Rec.Base.axioms

Rec.Base.fintype

Rec.Framework.graded

Rec.Framework.sysf_types

Rec.Framework.sysf_terms

Rec.Framework.sysf_const_terms

Rec.Examples.sysf_typing

Rec.Examples.sysf_wn

Rec.Examples.sysf_const_sn

Rec.Extras.lambda_terms

Rec.Extras.lambda_model

Rec.Extras.sysf_print