]> matita.cs.unibo.it Git - fireball-separation.git/commit
get_subterm_with_head_and_args goes under lambdas
authoracondolu <andrea.condoluci@unibo.it>
Tue, 29 May 2018 09:03:53 +0000 (11:03 +0200)
committeracondolu <andrea.condoluci@unibo.it>
Wed, 30 May 2018 13:28:24 +0000 (15:28 +0200)
commit49197592f9020aa1c5f87f19f2dfce58b0ccc798
tree7314d807fb4af49b628b2d2f5a2ac0b6ae5d69e5
parentf4dc655c8fcc297c0d5c5b1fe30496e92bb821be
get_subterm_with_head_and_args goes under lambdas
ocaml/andrea.ml