package p4spectec

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

Module Value.MixopsSource

Sourceval cache : (string, Domain.Mixop.t) Stdlib.Hashtbl.t
Sourceval of_string : string -> Domain.Mixop.t
Sourceval of_atoms_matrix : Domain.Atom.t list list -> Domain.Mixop.t