package mc2

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Some builtins

Module `Mc2_core.Builtins`Source

Some builtins

This plugin is always included automatically

Sourceval k_true : Mc2_core__.Solver_types.term Service.Key.t

Trivial boolean term

Sourceval k_false : Mc2_core__.Solver_types.term Service.Key.t

Trivial boolean term

Absurd boolean term

Sourceval plugin : Plugin.Factory.t