Previous
Up
Module
Var.VarMap
module
VarMap:
Map.S
with type key = var