Module `Staticity.Const`

include Ocaml_typing.Mode_intf.Lattice
  with type t = Ocaml_typing.Mode.Staticity.const

type t = Ocaml_typing.Mode.Staticity.const

val min : Ocaml_typing.Mode.Staticity.Const.t

val max : Ocaml_typing.Mode.Staticity.Const.t

val le : 
  Ocaml_typing.Mode.Staticity.Const.t ->
  Ocaml_typing.Mode.Staticity.Const.t ->
  bool

val equal : 
  Ocaml_typing.Mode.Staticity.Const.t ->
  Ocaml_typing.Mode.Staticity.Const.t ->
  bool

equal a b is equivalent to le a b && le b a, but defined separately for performance reasons

val join : 
  Ocaml_typing.Mode.Staticity.Const.t ->
  Ocaml_typing.Mode.Staticity.Const.t ->
  Ocaml_typing.Mode.Staticity.Const.t

val meet : 
  Ocaml_typing.Mode.Staticity.Const.t ->
  Ocaml_typing.Mode.Staticity.Const.t ->
  Ocaml_typing.Mode.Staticity.Const.t

val print : 
  Stdlib.Format.formatter ->
  Ocaml_typing.Mode.Staticity.Const.t ->
  unit

val legacy : Ocaml_typing.Mode.Staticity.Const.t

Module Staticity.Const