package jasmin

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

Module Jasmin.IntervalSource

Sourcetype interval = {
  1. min : int;
  2. max : int;
}
Sourceval size : t -> int
Sourceval pp_interval : ?closed:bool -> Format.formatter -> t -> unit