mirror of
https://github.com/CatalaLang/catala.git
synced 2024-09-19 16:28:12 +03:00
deadcode
This commit is contained in:
parent
ddeaa67ff7
commit
ebf72213a7
@ -288,9 +288,6 @@ val thunk_term :
|
||||
'b mark ->
|
||||
('a, 'b mark) boxed_gexpr
|
||||
|
||||
(* val unthunk_term : (([< all ] as 'a), Pos.t) boxed_gexpr -> 'b mark -> ('a,
|
||||
Pos.t) boxed_gexpr *)
|
||||
|
||||
val unthunk_term_nobox :
|
||||
(([< all ] as 'a), 'm mark) gexpr -> 'm mark -> ('a, 'm mark) gexpr
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user