val op_Hat_Subtraction_Greater : a: Type -> b: Type -> Type
let op_Hat_Subtraction_Greater = FStar.FunctionalExtensionality.op_Hat_Subtraction_Greater
module Spec.Map
/
prims.fst.checked FStar.Pervasives.fsti.checked FStar.FunctionalExtensionality.fsti.checked
Spec.Map.fst
a: Type -> b: Type -> Type
FStar.FunctionalExtensionality.op_Hat_Subtraction_Greater
let op_Hat_Subtraction_Greater =
  
FStar.FunctionalExtensionality.op_Hat_Subtraction_Greater