package codex

You can search for identifiers within the package.

in-package search v0.2.0

Parameter `WTOFixpoint.L`

type t

val join : t -> t -> t

val is_included : t -> t -> bool

val bottom : t

module ControlLocation : sig ... end

val transfer : ControlLocation.t -> t -> (ControlLocation.t * t) list

val pp : Format.formatter -> t -> unit