package catala
-
law_source
-
runtime
-
utils
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
Typing for the default calculus. Because of the error terms, we perform type inference using the classical W algorithm with union-find unification.
val infer_type :
Ast.decl_ctx ->
Ast.expr Utils.Pos.marked ->
Ast.typ Utils.Pos.markedval check_type :
Ast.decl_ctx ->
Ast.expr Utils.Pos.marked ->
Ast.typ Utils.Pos.marked ->
unit