Up – Package index » universo » Sources » universo.checking » checking.ml

Source file `checking.ml`

universo
- CHANGELOG
- README
- Library universo.api
  - Universo_api
- Library universo.checking
  - Checking
- Library universo.common
  - Common
- Library universo.elaboration
  - Elaboration
- Library universo.solving
  - Solving
- Sources
  - universo.api
    - universo_api.ml
  - universo.checking
    - checker.ml
    - checking.ml
  - universo.common
  - universo.elaboration
  - universo.solving

1
2
3
4
(* generated by dune *)

(** @canonical Checking.Checker *)
module Checker = Checking__Checker