package mc2

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Module `Mc2_lra`Source

Sourcetype num = Q.t

Sourcemodule LE : sig ... end

Sourcetype op =

Boolean operator

Sourceval k_rat : Mc2_core.ty Mc2_core.Service.Key.t

Type of rationals

Sourceval k_make_const : (num -> Mc2_core.term) Mc2_core.Service.Key.t

Constant as a term

val k_make_pred : 
  (op -> Mc2_lra__.Linexp.t -> Mc2_core.term) Mc2_core.Service.Key.t

Build constraint

Sourceval plugin : Mc2_core.Plugin.Factory.t

Sourceval set_lra_alt : int -> unit