package p4spectec

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

Module Sl.Eq

module Mixfix = Domain.Mixfix
val eq_id : Il.id -> Il.id -> bool
val eq_atom : Il.atom -> Il.atom -> bool
val eq_atoms : Il.atom list -> Il.atom list -> bool
val eq_mixop : Il.mixop -> Il.mixop -> bool
val eq_iter : Il.iter -> Il.iter -> bool
val eq_iters : Il.iter list -> Il.iter list -> bool
val eq_var : Il.var -> Il.var -> bool
val eq_vars : Il.var list -> Il.var list -> bool
val eq_typ : Il.typ -> Il.typ -> bool
val eq_typs : Il.typ list -> Il.typ list -> bool
val eq_exp : Il.exp -> Il.exp -> bool
val eq_exps : Il.exp list -> Il.exp list -> bool
val eq_iterexp : Il.iterexp -> Il.iterexp -> bool
val eq_iterexps : Il.iterexp list -> Il.iterexp list -> bool
val eq_pattern : Il.pattern -> Il.pattern -> bool
val eq_path : Il.path -> Il.path -> bool
val eq_arg : Il.arg -> Il.arg -> bool
val eq_args : Il.arg list -> Il.arg list -> bool
val eq_targ : Il.targ -> Il.targ -> bool
val eq_targs : Il.targ list -> Il.targ list -> bool
val eq_holdcase : Lang__Sl__.Ast.holdcase -> Lang__Sl__.Ast.holdcase -> bool
val eq_case : (Lang__Sl__.Ast.guard * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list) -> (Lang__Sl__.Ast.guard * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list) -> bool
val eq_cases : (Lang__Sl__.Ast.guard * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list) list -> (Lang__Sl__.Ast.guard * (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list) list -> bool
val eq_guard : Lang__Sl__.Ast.guard -> Lang__Sl__.Ast.guard -> bool
val eq_instr : (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase -> (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase -> bool
val eq_instrs : (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list -> (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list -> bool
val eq_block : (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list -> (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list -> bool
val eq_elseblock : (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list -> (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list -> bool
val eq_elseblock_opt : (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list option -> (Lang__Sl__.Ast.instr', Lang__Sl__.Ast.inote) Util.Source.note_phrase list option -> bool
val eq_iterinstr : Il.iterprem -> Il.iterprem -> bool
val eq_iterinstrs : Il.iterprem list -> Il.iterprem list -> bool
val eq_rel_signature : (Il.nottyp * Hints.Input.t) -> (Il.nottyp * Hints.Input.t) -> bool