jon.recoil.org

Module type Scalar.S

type 'a width
type nonrec 'a t = ('a width, any_locality_mode width) Maybe_naked.t
val all : any_locality_mode t list
val map : 'a t -> f:('a -> 'b) -> 'b t
val ignore_locality : _ t -> any_locality_mode t
val width : _ t -> any_locality_mode width
val to_string : any_locality_mode t -> string
val equal : ('a -> 'b -> bool) -> 'a t -> 'b t -> bool