package lambdapi
Proof assistant for the λΠ-calculus modulo rewriting
Install
Dune Dependency
Authors
Maintainers
Sources
lambdapi-2.6.0.tbz
sha256=d01e5f13db2eaba6e4fe330667149e0059d4886c651ff9d6b672db2dfc9765ed
sha512=33b68c972aca37985ed73c527076198e7d4961c7e27c89cdabfe4d1cff97cd41ccfb85ae9499eb98ad9a0aefd920bc55555df6393fc441ac2429e4d99cddafa8
doc/src/lambdapi.lplib/string.ml.html
Source file string.ml
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43
module S = Stdlib.String include S let to_list : string -> char list = fun s -> let l = ref [] in S.iter (fun c -> l := c :: !l) s; List.rev !l let of_list : char list -> string = fun l -> let b = Buffer.create 37 in List.iter (Buffer.add_char b) l; Buffer.contents b let is_substring : string -> string -> bool = fun e s -> let len_e = S.length e in let len_s = S.length s in let rec is_sub i = if len_s - i < len_e then false else if S.sub s i len_e = e then true else is_sub (i + 1) in is_sub 0 let is_prefix : string -> string -> bool = fun p s -> let len_p = S.length p in let len_s = S.length s in len_p <= len_s && S.sub s 0 len_p = p let for_all : (char -> bool) -> string -> bool = fun p s -> let len_s = S.length s in let rec for_all i = i >= len_s || (p (S.get s i) && for_all (i + 1)) in for_all 0 (* Taken from string.ml in OCaml 4.14.1. *) module B = Bytes let bos = B.unsafe_of_string let get_utf_8_uchar s i = B.get_utf_8_uchar (bos s) i let is_valid_utf_8 s = B.is_valid_utf_8 (bos s)
sectionYPositions = computeSectionYPositions($el), 10)"
x-init="setTimeout(() => sectionYPositions = computeSectionYPositions($el), 10)"
>