package p4spectec

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

Module Domain.MixopSource

Sourcetype atom = Mixfix.atom
Sourcetype mixop = Mixfix.mixop
Sourcetype t = mixop
Sourceval compare : 'a Mixfix.t -> 'b Mixfix.t -> int
Sourceval eq : 'a Mixfix.t -> 'b Mixfix.t -> bool
Sourceval arity : 'a Mixfix.t -> int
Sourceval atoms : 'a Mixfix.t -> Mixfix.atom list
Sourceval atoms_matrix : 'a Mixfix.t -> Mixfix.atom list list
Sourceval string_of_mixop : 'a Mixfix.t -> string
Sourceval assemble : string_of_atom:(atom -> string) -> t -> string list -> string