package universo

  1. Overview
  2. Docs
package universo
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Common.ConstraintsSource

Sourcemodule F = Files
Sourcemodule U = Universes
Sourcemodule M = Api.Meta
Sourcetype t = {
  1. file : F.cout F.t;
  2. meta : M.cfg;
}
Sourcetype print_cstrs = {
  1. eqvar : (B.name * B.name) list;
  2. axiom : (U.univ * U.univ) list;
  3. cumul : (U.univ * U.univ) list;
  4. rule : (U.univ * U.univ * U.univ) list;
}
Sourceval dummy_name : R.rule_name
Sourceval print_rule : (Format.formatter -> 'a -> unit) -> Format.formatter -> ('a * 'a) -> unit
Sourceval print_predicate : Format.formatter -> U.pred -> unit
Sourceval mk_var_cstr : (B.name -> B.name -> 'a) -> B.name -> B.name -> B.name * B.name

mk_var_cstre env f l r add the constraint l =?= r. Call f on l and r such that l >= r.

Sourceval deps : B.mident list ref
Sourceval mk_cstr : t -> (B.name -> B.name -> 'a) -> U.cstr -> bool
Sourceval get_deps : unit -> B.mident list
Sourceval flush : unit -> unit
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct