Module Mc2_core.Type
Simple Types
type t
= Mc2_core__.Solver_types.ty
type view
= Mc2_core__.Solver_types.ty_view
type tc
= Mc2_core__.Solver_types.tc_ty
val equal : t -> t -> bool
val compare : t -> t -> int
val hash : t -> int
val pp : t CCFormat.printer
val is_bool : t -> bool
val id : t -> int
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 : functor (T : TY_ALLOC_OPS) -> sig ... end