CatalaLang/catala
1
1
Fork 0
mirror of https://github.com/CatalaLang/catala.git synced 2024-09-20 00:41:05 +03:00
Code Issues Projects Releases Wiki Activity

add better default logic representation to the lambda calculus

Browse Source
This commit is contained in:
Nicolas Chataing 2020-05-26 10:12:58 +02:00
parent 6a3351a5da
commit 7c34522d9f
1 changed files with 13 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

15
src/catala/ir/lambda.ml
View File

@ -71,6 +71,17 @@ type 'expr program = {
fields : 'expr field Ir.ScopeMap.t;
}
type program_with_default_logic = term list program
type program_with_normal_logic = term program
module IntMap = Map.Make (Int)
type precondition = term
type consequence = term
type default_term = {
defaults : (precondition * consequence) IntMap.t;
ordering : (int * int) list;
}
type program_with_default_logic = default_term program