package libsail

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

Module Extraction.ListDef

val map : ('a1 -> 'a2) -> 'a1 list -> 'a2 list
val seq : Big_int_Z.big_int -> Big_int_Z.big_int -> Big_int_Z.big_int list
val repeat : 'a1 -> Big_int_Z.big_int -> 'a1 list
val firstn : Big_int_Z.big_int -> 'a1 list -> 'a1 list
val skipn : Big_int_Z.big_int -> 'a1 list -> 'a1 list