aboutsummaryrefslogtreecommitdiff
path: root/semestr-3/pf/lista4/logic/_build/logic.mli.depends
blob: 3c54482721405d0cb7712e2bdd1ff1816aae165e (plain)
1
logic.mli: Format