= 1024" x-on:close-sidebar="sidebar=window.innerWidth >= 1024 && true">
package ocaml-logicalform
-
ocaml-logicalform
-
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
include IdBase.BASE
include Base.Comparable.With_zero with type t := t
val validate_positive : t Base__.Validate.check
val validate_non_negative : t Base__.Validate.check
val validate_negative : t Base__.Validate.check
val validate_non_positive : t Base__.Validate.check
val is_positive : t -> bool
val is_non_negative : t -> bool
val is_negative : t -> bool
val is_non_positive : t -> bool
val sign : t -> Base__.Sign0.t