package jasmin

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

Module Jasmin.IntervalGraphColoringSource

Sourcetype graph = (int * int) Prog.Mv.t
Sourcetype color = Prog.var
Sourcetype coloring = color Prog.Mv.t
Sourceval solve : int -> graph -> coloring