package p4spectec

You can search for identifiers within the package.

in-package search v0.2.0

Module `Static.Typdim`Source

Sourcetype t = Lang.Il.typ * Lang.Il.iter list

val to_string : 
  ((Lang__Il__.Ast.typ', unit, Util.Source.region) Util.Source.info
   * Lang__Il__.Ast.iter list) ->
  string

Sourceval compare : (Lang.Il.typ * 'a) -> (Lang.Il.typ * 'a) -> int

val equiv : 
  (Lang__Il__.Ast.typ' Util.Source.phrase * 'a list) ->
  (Lang__Il__.Ast.typ' Util.Source.phrase * 'a list) ->
  bool

val sub : 
  (Lang__Il__.Ast.typ' Util.Source.phrase * 'a list) ->
  (Lang__Il__.Ast.typ' Util.Source.phrase * 'a list) ->
  bool

val add_iter : 
  Lang.Il.iter ->
  ('a * Lang.Il.iter list) ->
  'a * Lang.Il.iter list