fstar
  1. Overview
  2. Docs
Legend:
Library
Module
Module type
Parameter
Class
Class type
type dateTime =
  1. | DT of float
type timeSpan =
  1. | TS of float
val now : unit -> dateTime
val secondsFromDawn : unit -> Z.t
val newTimeSpan : Z.t -> Z.t -> Z.t -> Z.t -> timeSpan
val addTimeSpan : dateTime -> timeSpan -> dateTime
val greaterDateTime : dateTime -> dateTime -> bool