package p4spectec

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

Module V1model.Scheduler

include module type of struct include Util.Deque end
val empty : 'a list
val is_empty : 'a list -> bool
val push_back : 'a -> 'a list -> 'a list
val push_front : 'a -> 'a list -> 'a list
val pop_back_opt : 'a list -> ('a * 'a list) option
val pop_back : 'a list -> 'a * 'a list
val pop_front_opt : 'a list -> ('a * 'a list) option
val pop_front : 'a list -> 'a * 'a list
val to_yojson : t -> Yojson.Safe.t