package mc2

  1. Overview
  2. Docs

Simple Types

type t
type view
type tc
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : t -> int
val is_bool : t -> bool
val id : t -> int

on non-bool

val view : t -> view

on non-bool

on non-bool

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

on non-bool

on non-bool

val mk_decide_state : t -> Mc2_core__.Solver_types.decide_state

on non-bool

on non-bool

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

on non-bool

on non-bool

val bool : t
module TC : sig ... end
module type TY_ALLOC_OPS = sig ... end
module Alloc (T : TY_ALLOC_OPS) : sig ... end
val 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.