package mc2

  1. Overview
  2. Docs
On This Page
  1. Simple Types
package mc2
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Mc2_core.TypeSource

Simple Types

Sourcetype t
Sourcetype view
Sourcetype tc
Sourceval equal : t -> t -> bool
Sourceval compare : t -> t -> int
Sourceval hash : t -> int
Sourceval is_bool : t -> bool
Sourceval id : t -> int

on non-bool

Sourceval view : t -> view

on non-bool

on non-bool

Sourceval decide : t -> Mc2_core__.Solver_types.actions -> Mc2_core__.Solver_types.term -> Mc2_core__.Solver_types.value

on non-bool

on non-bool

Sourceval mk_decide_state : t -> Mc2_core__.Solver_types.decide_state

on non-bool

on non-bool

Sourceval mk_eq : t -> Mc2_core__.Solver_types.term -> Mc2_core__.Solver_types.term -> Mc2_core__.Solver_types.term

on non-bool

on non-bool

Sourceval bool : t
Sourcemodule TC : sig ... end
Sourcemodule type TY_ALLOC_OPS = sig ... end
Sourcemodule Alloc (T : TY_ALLOC_OPS) : sig ... end
Sourceval make_static : view -> tc -> t

Static types, directly provided by plugins. This function is generative, i.e. it will yield a different type every time it is called.