package p4spectec

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

Module Hints.Input

type t = int list
val to_yojson : t -> Yojson.Safe.t
val to_string : int list -> string
val eq : t -> t -> bool
val init : Hint.t -> t option
val validate : t -> int -> (unit, string) result
val split : t -> 'a list -> 'a list * 'a list
val combine : t -> 'a list -> 'a list -> 'a list
val is_conditional : t -> 'a list -> bool