package sd_logic

You can search for identifiers within the package.

in-package search v0.2.0

Legend:
Library
Module
Module type
Parameter
Class
Class type

val return : 'a -> 'a t

val sd : 'a Sd.t -> 'a t

val sd_past : 'a Sd.t -> int -> 'a default -> 'a t

val sd_history : 'a Sd.t -> int -> (int -> 'a option) t

val state : (Sd.Packed.t, Sd.Packed.comparator_witness) Core.Set.t -> Rs.t t

val state_past : 
  (Sd.Packed.t, Sd.Packed.comparator_witness) Core.Set.t ->
  int ->
  Rs.t t

val full_rsh : unit -> Rsh.t t