Up
–
Index
»
astral
»
Astral_internal
»
SMT
» Range
Module
SMT.Range
type
term
:=
t
type
t
=
range
val
map :
(
term
->
term
)
->
t
option
->
t
option