environment.ml
bonsai
bonsai.mdx
bonsai.types
bonsai.web
1 2 3 4 5 6 7 open! Core_kernel module Incremental = struct type ('witness, 'a) t = ('a, 'witness) Incremental.t [@@deriving sexp_of] end include Univ_map.Make1 (Univ_map.Type_id_key) (Incremental)
1 2 3 4 5 6 7
open! Core_kernel module Incremental = struct type ('witness, 'a) t = ('a, 'witness) Incremental.t [@@deriving sexp_of] end include Univ_map.Make1 (Univ_map.Type_id_key) (Incremental)