Module: SFRP::Poly

Defined in:

lib/sfrp/poly/dsl.rb,
lib/sfrp/poly/set.rb,
lib/sfrp/poly/typing.rb,
lib/sfrp/poly/elements.rb,
lib/sfrp/poly/monofier.rb,
lib/sfrp/poly/exception.rb,
lib/sfrp/poly/expression.rb

Defined Under Namespace

Modules: DSL Classes: FuncCallExp, FuncTypeAnnotation, FuncTyping, Function, MatchExp, Monofier, Node, Pattern, RecursiveError, Set, TConst, TypeAnnotationType, TypeAnnotationVar, Typing, UndeterminableTypeError, UnifyError, VConst, VConstCallExp, VarRefExp