package mopsa

  1. Overview
  2. Docs
package mopsa
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module Domain.Off

type t = Z.t
val compare : Z.t -> Z.t -> int
val print : MopsaLib.printer -> Z.t -> unit