Module ArincDomain.D

type t = process
val equal : t -> t -> Ppx_deriving_runtime.bool
val compare : t -> t -> Ppx_deriving_runtime.int
val _ : t -> Yojson.Safe.t
include module type of struct include Printable.Std end
type group = Printable.Std.group = |
val show_group : group -> 'a
val to_group : 'a -> 'b option
val trace_enabled : bool
val invariant : 'a -> 'b -> Invariant.t
val tag : 'a -> 'b
val arbitrary : unit -> 'a
val relift : 'a -> 'a
val name : unit -> string
val show : process -> string
include sig ... end
val pretty : unit -> t -> Pretty.doc
val printXml : 'a BatInnerIO.output -> t -> unit
val to_yojson : t -> [> `String of string ]
val hash : process -> int
val pid : (Pid.t -> Pid.t) -> process -> process
val pri : (Pri.t -> Pri.t) -> process -> process
val per : (Per.t -> Per.t) -> process -> process
val cap : (Cap.t -> Cap.t) -> process -> process
val pmo : (Pmo.t -> Pmo.t) -> process -> process
val pre : (PrE.t -> PrE.t) -> process -> process
val pred : (Pred.t -> Pred.t) -> process -> process
val bot : unit -> process
val is_bot : process -> bool
val is_bot1 : process -> bool
val top : unit -> process
val is_top : process -> bool
val leq : process -> process -> bool
val op_scheme : (Pid.t -> Pid.t -> Pid.t) -> (Pri.t -> Pri.t -> Pri.t) -> (Per.t -> Per.t -> Per.t) -> (Cap.t -> Cap.t -> Cap.t) -> (Pmo.t -> Pmo.t -> Pmo.t) -> (PrE.t -> PrE.t -> PrE.t) -> (Pred.t -> Pred.t -> Pred.t) -> (Ctx.t -> Ctx.t -> Ctx.t) -> process -> process -> t
val join : process -> process -> t
val widen : process -> process -> t
val meet : process -> process -> t
val narrow : process -> process -> t
val pretty_diff : unit -> (t * t) -> Pretty.doc