16 lines
371 B
Text
16 lines
371 B
Text
type im_string = string
|
|
|
|
let create = String.create
|
|
let make = String.make
|
|
let copy = String.copy
|
|
let sub = String.sub
|
|
let length = String.length
|
|
let get = String.get
|
|
let iter = String.iter
|
|
let escaped = String.escaped
|
|
let index = String.index
|
|
let contains = String.contains
|
|
|
|
let of_string s = s
|
|
let to_string s = s
|
|
let print = print_string
|