package facile

  1. Overview
  2. Docs

Module Invariant.SetFdSource

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