summaryrefslogtreecommitdiff
path: root/backends/lean/Base/IList
diff options
context:
space:
mode:
authorSon Ho2023-08-02 17:43:13 +0200
committerSon Ho2023-08-02 17:43:13 +0200
commitf6b4aade7b4a60ed589440af042b44c65c9fcb92 (patch)
treec8f81fd76a1fdf9aaf56caf210b8acd346c1b33d /backends/lean/Base/IList
parent0e322fcba2794536f0ee7a3d65ac5831f80fe085 (diff)
Add the function signatures in Assumed.ml
Diffstat (limited to 'backends/lean/Base/IList')
0 files changed, 0 insertions, 0 deletions