package facile

  1. Overview
  2. Docs

Module Invariant.FdSource

Sourcetype fd = Var.Fd.t
Sourcetype elt = Var.Fd.elt
Sourceval min : fd -> elt unsetable_t
Sourceval max : fd -> elt unsetable_t
Sourceval size : fd -> int unsetable_t
Sourceval is_var : fd -> bool unsetable_t
Sourceval unary : ?name:string -> (fd -> 'a) -> fd -> 'a unsetable_t