source: extracted/untrusted/ocamlString.ml @ 2968

Last change on this file since 2968 was 2738, checked in by sacerdot, 7 years ago

Porting the graph colouring stuff from the untrusted prototype to the extracted
code.

File size: 175 bytes
Line 
1(* To recover OCaml's String *)
2
3external length : string -> int = "%string_length"
4external get : string -> int -> char = "%string_safe_get"
5let compare = Pervasives.compare
Note: See TracBrowser for help on using the repository browser.