Source file var.ml

1
2
3
4
5
6
7
8
9
10
11
12
open Base
include String

let of_string = Fn.id
let to_string = Fn.id

let core_type t ~builder =
  let open (val builder : Builder.S) in
  ptyp_var t
;;

let diff_var t = t ^ "_diff"